1. Frontiers of Combining Systems
پدیدآورنده : Silvio Ghilardi, Roberto Sebastiani (Eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2009
2. Sheaves, Games, and Model Completions :
پدیدآورنده : by Silvio Ghilardi, Marek Zawadowski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
رده :
QA169
.
B975
2002
3. Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics
پدیدآورنده : Ghilardi, Silvio
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Categories )Mathematics(,، Proposition )Logic(,، Model theory
رده :
QA
169
.
G474S5
